In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static type-safety. Using parametric polymorphism, a function or a data type can be written generically so that it can handle values identically without depending on their type.{sfn|Pierce|2002} Such functions...
Found on
http://en.wikipedia.org/wiki/Parametric_polymorphism
A piece of code describes a general form of some code by using a parameter. Different instances or special cases are created by replace these parameters by actual parameters. Templates in C++, Generics in Ada, and Functors in SML are particular implementations of this idea.
Found on
http://www.csci.csusb.edu/dick/cs202/glossary.html
No exact match found.
